Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
171	30 Years of Higher-Order Unification G´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-09-02 10:28:36 Logic programming Mathematics Unification Sequent Linear logic Admissible rule Substitution Logic Mathematical logic Automated theorem proving
172	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common C ORRECTED 12 AUG 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-12 10:34:41 Quantification Higher-order functions Predicate logic Monad Fold Function FO Continuous function Combinatory logic Mathematics Mathematical logic Logic
173	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
174	PDF Document Add to Reading List Source URL: www.inferenzsysteme.informatik.tu-darmstadt.de Language: English - Date: 2013-10-07 14:40:42 Mathematics Predicate logic Logic programming Rules of inference Resolution Clause First-order logic Higher-order logic Unit propagation Logic Mathematical logic Automated theorem proving
175	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
176	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics
177	PDF Document Add to Reading List Source URL: impromptu.moso.com.au Language: English - Date: 2007-09-10 07:45:24 Audio programming languages Cross-platform software Higher-order functions Electronic music Mathematical logic Impromptu Live coding Fold Computer music Software engineering Computing Computer programming
178	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-08-23 07:41:27 Model theory First-order logic Higher-order logic Logic programming Interpretation Type theory Structure Lambda calculus Well-formed formula Logic Mathematical logic Metalogic